#include <vector>

#include "types.h"

u64 vaddr64 (u16 i_pml4e, u16 i_pdpte, u32 offset);
u64 vaddr64 (u16 i_pml4e, u16 i_pdpte, u16 i_pde, u32 offset);
u64 vaddr64 (u16 i_pml4e, u16 i_pdpte, u16 i_pde, u16 i_pte, u16 offset);
u64 vaddr (std::vector<unsigned> address, unsigned pagingMode);